Branching-Time Model Checking Gap-Order Constraint Systems Richard Mayr Patrick Totzke

Source URL: www.dcs.warwick.ac.uk

Evaluating access control policies through model-checking IFIP 1.3, Sept. 05 Information Security Conf, Sept. 05 Nan Zhang

Source URL: www.cs.bham.ac.uk

A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes Naoki Kobayashi Tohoku University

Source URL: www.kb.ecei.tohoku.ac.jp

Checking Transformation Model Properties with a UML and OCL Model Validator Martin Gogolla, Lars Hamann, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla|lhamann|fhilken}@informatik.uni-bremen.

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Systems engineering
• Relational model
• ECO
• Database
• Model transformation
• Metamodeling
• Class diagram

Software Model Checking for Cooperative Threaded Programs

Source URL: www.uet.vnu.edu.vn

Model Checking for Compositional Models of General Linear Time c Tim French, John M Cabe-Dansted, Mark Reynolds University of Western Australia

Source URL: tableaux13.loria.fr

Predicate Abstraction and CEGAR for Higher-Order Model Checking Naoki Kobayashi Ryosuke Sato

Source URL: www-kb.is.s.u-tokyo.ac.jp

Combination Methods for Model-Checking of Infinite-State Systems ∗ Silvio Ghilardi1 , Enrica Nicolini2 , Silvio Ranise2 , and Daniele Zucchelli1,2

Source URL: www.loria.fr

Bounded Model Checking Using Satisfiability Solving ? Edmund Clarke1 , Armin Biere2 , Richard Raimi3 , and Yunshan Zhu4 1 Computer Science Department, CMU, 5000 Forbes Avenue Pittsburgh, PA 15213, USA,

Source URL: www.cs.cmu.edu

Symbolic Model Checking for Probabilistic Processes Christel Baier1 , Edmund M. Clarke2 ? , Vasiliki Hartonas-Garmhausen2, Marta Kwiatkowska3 and Mark Ryan3 ?? 1 Fakult¨at f¨ur Mathematik & Informatik 2 Department of

Source URL: www.cs.bham.ac.uk